Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
481	Experiential Learning “Experiential [learning] is a philosophy and methodology in which educators purposefully engage with students in direct experience and focused reflection in order to increase knowledge, develop sk Add to Reading List Source URL: www.niu.edu Language: English - Date: 2015-03-11 11:51:58 Critical pedagogy Education theory Philosophy of education Experiential education Experiential learning Student-centred learning Service-learning Student engagement Learning styles Education Educational psychology Alternative education
482	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
483	Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-11-03 10:29:10 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Mathematics Theoretical computer science
484	Introduction 0-1 Law for Bernays-Sch¨ onfinkel Negative Results Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-04-18 18:43:59 Mathematics Metalogic Formal languages First-order logic Predicate logic Boolean satisfiability problem Well-formed formula Satisfiability Second-order logic Logic Mathematical logic Model theory
485	Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2013-03-26 18:38:51 Mathematics Topology Functional programming Monad Preorder Grothendieck topology Kleisli category Alexandrov topology Adjoint functors Category theory Order theory
486	FALLENSTEIN’S MONSTER (BRIEF TECHNICAL NOTE) NATE SOARES This document is part of a collection of quick writeups of results from the December 2013 MIRI research workshop, written during or directly Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-06 13:38:50 Set theory Cardinal number Ordinal number Constructible universe Inaccessible cardinal Function Model theory Order Symbol Mathematics Large cardinals Mathematical logic
487	Integer Sorting on the word-RAM Uri Zwick Tel Aviv University May 2015 Last updated: June 30, 2015 Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2015-06-30 03:06:46 Combinatorics Radix sort Integer sorting Logarithm American flag sort Sorting algorithms Order theory Mathematics
488	A Variability-Based Approach to Reusable and Efficient Model Transformations Daniel Str¨uber1 , Julia Rubin2 , Marsha Chechik3 , and Gabriele Taentzer1 1 Philipps-Universit¨at Marburg, Germany Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2015-02-20 11:07:37 Predicate logic Logic Graph rewriting Philosophical logic First-order logic Graph Quantification Planar graph FO Graph theory Mathematics Theoretical computer science
489	The foundations of statistics with black swans Add to Reading List Source URL: chichilnisky.com Language: English - Date: 2013-05-20 13:57:15 Probability theory Functional analysis Measure Axiom of choice Monotonic function Ultrafilter Sheaf Probability measure Mathematical analysis Mathematics Order theory
490	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming

UPDATE